Proof Theory – alle Bücher und CDs

Dale Miller
Proof Theory and Logic Programming

This book offers a principled view of programming, showing how computation arises from logic. It explores different logical and proof-theoretic systems as foundations for programming, providing a deeper u…

lieferbar innerhalb 2-3 Wochen

Buch

Dorota Leszczy¿ska-Jasion
The Method of Socratic Proofs

This book contains a systematic and formal attempt to model solutions to problems such as: Is it possible to prove a question? Is it possible to prove something by the use of questions? Do the existing pa…

lieferbar innerhalb 2-3 Wochen

Buch

Ralph Gregory Taylor
Logic and Fixed-Domain Reasoning

Trends in Logic

The author develops, incrementally over the course of several chapters, related concepts of logical system over fixed domain, both classical and nonclassical, by means of pragmatism-inspired translations …

lieferbar ab 1.6.2026.

Buch

De Volson Wood
Treatise on the Theory of the Construction of Bridges and Roofs

Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

De Volson Wood
Treatise on the Theory of the Construction of Bridges and Roofs

Reprint of the original, first published in 1873. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

August Ritter, Matthew Henry Phineas Riall Sankey
Elementary Theory and Calculation of Iron Bridges and Roofs

Reprint of the original, first published in 1879. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

De Volson Wood
Treatise on the Theory of the Construction of Bridges and Roofs. Illustrated with Numerous Wood Engravings

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

De Volson Wood
Treatise on the Theory of the Construction of Bridges and Roofs. Illustrated with Numerous Wood Engravings

Reprint of the original, first published in 1883. The Antigonos publishing house specialises in the publication of reprints of historical books. We make sure that these works are made available to the pub…

lieferbar innerhalb 2-3 Wochen

Buch

J. Jacob Tawney
Another Sort of Mathematics

Years ago, James V. Schall wrote Another Sort of Learning , a book listing those things you should read but probably were never required to read. It is not a curriculum, except maybe one "for life.&q…

lieferbar in mind. 4 Wochen

Buch

Burkard Polster
Qed

Which famous proof did Archimedes inscribe on his tombstone? How and why do knots make perfect pentagons? Have you ever seen a proof so complete that it is just obvious?In this delicious little book, top …

Erscheint bald

Buch

Maximus - The Greatest Movie Soundtracks for Piano and Orchestra

Maksym Rzeminski, Radom Chamber Orchestra, Dawid Runtz

Artikel am Lager

CD

Ralph Gregory Taylor
Logic and Fixed-Domain Reasoning

Trends in Logic

The author provides solutions to all the more challenging exercises in Ralph Gregory Taylor, Logic and Fixed-Domain Reasoning, Volume 1:An Empirico-Pragmatist Model Theory and Proof Theory. Suppressed det…

lieferbar ab 1.6.2026.

Buch

Neil Tennant
Logic. A Primer

This introduction to formal logic is for students of Philosophy, Mathematics, Computer Science, and/or Linguistics. Philosophically sensitive, historically and linguistically informed, and mathematically …

lieferbar innerhalb 2-3 Wochen

Buch

Dirk W. Hoffmann
Limits of Mathematics

Mathematics Study Resources - Band 19

Is mathematics free of contradictions? Are there truths beyond what can be proven? Is it possible to encode our mathematical knowledge into a single number?Modern mathematical logic of the twentieth centu…

lieferbar innerhalb 2-3 Wochen

Buch

Paradoxes Between Truth and Proof

This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent t…

lieferbar innerhalb 2-3 Wochen

Buch

Vidyadhar Kulkarni
An Introduction to Discrete Mathematics

An Introduction to Discrete Mathematics offers an engaging and accessible introduction to discrete mathematics for beginning undergraduate students across a wide range of application areas, from mathemati…

lieferbar in mind. 4 Wochen

Buch

Lucien Sina
Complexity Theory

What is complexity theory - and why is it so central to computer science? Complexity theory studies how much time, memory, or other resources are needed to solve algorithmic problems. It provides the foun…

lieferbar innerhalb 2-3 Wochen

Buch

Trefferliste "Proof Theory" - alle Bücher und CDs